Add htmlfontify manual to build process
authorGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:43:08 +0000 (01:43 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:43:08 +0000 (01:43 -0800)
commitbc2fd725dd4e546f298decfe62f4c05ead944662
tree4b2082b7c0b6fa60d1b74ae783080a1183abe59f
parent7d72f7090b07d9f26b89237604bdbdc9f57eafa4
Add htmlfontify manual to build process

* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS):
Add htmlfontify.
(htmlfontify, $(buildinfodir)/htmlfontify$(INFO_EXT))
(htmlfontify.dvi, htmlfontify.pdf): New targets.

* doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean):
Add htmlfontify.
($(infodir)/htmlfontify$(INFO_EXT), htmlfontify.dvi): New targets.

* info/dir: Add htmlfontify.
ChangeLog
doc/misc/ChangeLog
doc/misc/Makefile.in
doc/misc/makefile.w32-in
info/dir